$a$ $\neq$ $b$ $\in$ $T$  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$($a$ = $b$)